﻿using System;
using System.Collections.Generic;
using System.Linq;
using System.Text;
using System.Diagnostics.Contracts;
using System.Drawing;

namespace AnnotateMe.Interfaces
{
    [ContractClassFor(typeof(ILayoutService))]
    abstract class LayoutServiceContract : ILayoutService
    {
        public CompositeShape Arrange(IList<PossiblyAnnotatedBlock> possiblyAnnotatedBlocks)
        {
            Contract.Requires<ArgumentException>(possiblyAnnotatedBlocks != null, "Non-null parameter required.");

            Contract.Ensures(Contract.Result<CompositeShape>() != null, "Method must return non-null value.");

            return null;
        }
    }
}
